Dynamic Epistemic Reasoning with Awareness and Its Legal Application
نویسندگان
چکیده
منابع مشابه
Reasoning about Dynamic Epistemic Logic
We present an algebra and sequent calculus to reason about dynamic epistemic logic, a logic for information update in multi-agent systems. We contribute to it by equipping it with a logical account of resources, a semi-automatic way of reasoning through the algebra and sequent calculus, and finally by generalizing it to non-boolean settings. Dynamic Epistemic Logic (DEL) is a PDL-style logic [1...
متن کاملA Dynamic-Epistemic Approach to Abductive Reasoning
We discuss what an abstract abductive problem means in terms of an agent, her information and the way the latter changes due to informational actions. Then, by using examples of abductive situations, we argue that different assumptions about the agent’s reasoning abilities and her information give rise to different kinds of abductive problems, and therefore different kinds of solutions. Finally...
متن کاملthe past hospitalization and its association with suicide attempts and ideation in patients with mdd and comparison with bmd (depressed type) group
چکیده ندارد.
construction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
Defeasible reasoning with legal conditionals.
Valid conclusions can be defeated if people can think of conditions that prevent the consequent to occur although the antecedent is given. The goal of the present research was to investigate how people consider these conditions when reasoning with legal conditionals such as "If a person kills another human, then this person should be punished for manslaughter." In Experiments 1 and 2 legal cond...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Vietnam Journal of Computer Science
سال: 2019
ISSN: 2196-8888,2196-8896
DOI: 10.1142/s2196888819500064